Paraconsistent resolution

نویسندگان

چکیده

Digraphs provide an alternative syntax for propositional logic, with digraph kernels corresponding to classical models. Semikernels generalize and we identify a subset of well-behaved semikernels that provides nontrivial models inconsistent theories, specializing the semantics consistent ones. Direct (instead refutational) reasoning resolution is sound complete this semantics, when augmented specific weakening which, in particular, excludes Ex Falso. Dropping all forms yields which also avoids typical fallacies relevance.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Paraconsistent Resolution for Four-valued Description Logics

In this paper, we propose an approach to translating any ALC ontology (possible inconsistent) into a logically consistent set of disjunctive datalog rules. We achieve this in two steps: First we give a simple way to make anyALC based ontology 4-valued satisfiable, and then we study a sound and complete paraconsistent ordered-resolution decision procedure for our 4-valuedALC. Our approach can be...

متن کامل

A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning

A family of unit resolution-based paraconsistent inference relations `Σ for propositional logic in the clausal case is introduced. Parameter Σ is any consistent set of clauses representing the beliefs which are intended to be exploited through full deduction, i.e., every classical consequence of Σ must be kept w.r.t. `Σ, whatever the belief base B. Contrariwise to many paraconsistent inference ...

متن کامل

Paraconsistent Assertions

Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where inconsistency does not lead to such an explosion. We argue that paraconsistent logics are especially advantageous in order to deal with assertions made by intelligent agents. Other propositional attitudes like knowledge and beliefs can in principle be treated...

متن کامل

Paraconsistent Logic

In some logics, anything whatsoever follows from a contradiction; call these logics explosive. Paraconsistent logics are logics that are not explosive. Paraconsistent logics have a long and fruitful history, and no doubt a long and fruitful future. To give some sense of the situation, I’ll spend Section 1 exploring exactly what it takes for a logic to be paraconsistent. It will emerge that ther...

متن کامل

Paraconsistent Logics!

In this note I respond to Hartley Slater's argument [12] to the e ect that there is no such thing as paraconsistent logic. Slater's argument trades on the notion of contradictoriness in the attempt to show that the negation of paraconsistent logics is merely a subcontrary forming operator and not one which forms contradictories. I will show that Slater's argument fails, for two distinct reasons...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: The Australasian Journal of Logic

سال: 2022

ISSN: ['1448-5052']

DOI: https://doi.org/10.26686/ajl.v19i3.6471